closure properties toc